symbolic math with python